
\def\todo#1{[{\color{red} TODO:} {\bf  #1}]}
\def\fixme#1{[{\color{red} FIXME:} {\bf  #1}]}
\def\verify#1{\todo{verify: #1}}
\def\eps{\varepsilon}

\def\imageontop#1{
    \vtop{\vskip-1ex \hbox{#1} \vskip 1ex }
}

\def\itemMath#1{
    \raisebox{-\abovedisplayshortskip}{\parbox{0.75\linewidth}{#1}}
}

\renewcommand{\implies}{\rightarrow} % logicka implikacia ->
\newcommand{\lequiv}{\leftrightarrow} % logicka ekvivalencia <->
\newcommand{\then}{\Rightarrow} % normalna implikacia <=>
\newcommand{\notmodels}{\nvDash} % nemodeluje |/=
\newcommand{\union}{\cup} % mnozinove zjednotenie
\newcommand{\intersect}{\cap} % mnozinovy prienik
\newcommand{\provable}{\vdash} % dokazatelne |-
\newcommand{\unprovable}{\nvdash} % nedokazatelne |/-

\newcommand{\startFIXME}{
    \noindent 
    ----------------------------------------------------------- \\
    \fixme{Nasledujúca časť potrebuje skontrolovať a upraviť} \\
    \noindent
    -----------------------------------------------------------\\
}
\newcommand{\stopFIXME}{
    \noindent 
    ---------------------------------------------\\
    Koniec neoverenej časti\\
    \noindent 
    ---------------------------------------------
}

\def\dotuline{\bgroup 
  \ifdim\ULdepth=\maxdimen  % Set depth based on font, if not set already
   \settodepth\ULdepth{(j}\advance\ULdepth.4pt\fi
  \markoverwith{\begingroup
  \advance\ULdepth0.08ex
  \lower\ULdepth\hbox{\kern.15em .\kern.1em}%
  \endgroup}\ULon
}

\def\dashuline{\bgroup 
  \ifdim\ULdepth=\maxdimen  % Set depth based on font, if not set already
   \settodepth\ULdepth{(j}\advance\ULdepth.4pt\fi
  \markoverwith{\kern.15em
  \vtop{\kern\ULdepth \hrule width .3em}%
  \kern.15em}\ULon
}


%%%% rozne typy zvyraznenia
% standardne 3 farby
\newcommand{\highlighta}[1]{{\color{blue}#1}}
\newcommand{\highlightb}[1]{{\color{BrickRed}#1}}
\newcommand{\highlightc}[1]{{\color{OliveGreen}#1}}
% zatemnenie
\newcommand{\highlightdim}[1]{{\color{Gray}#1}}
% podciarkovanie
\newcommand{\highlighto}[1]{\underline{#1}}
\newcommand{\highlightp}[1]{\dashuline{#1}}%\dotuline{#1}}

\def\noheader{\relax}
\def\squareop{\;\square\;}

